просто непротиворечивая система

См. также в других словарях:

• ИОАНН ДУНС СКОТ — [лат. Ioannes (Johannes) Duns Scotus] († 8.11.1308, Кёльн), средневек. философ и богослов, католич. священник, член монашеского ордена францисканцев; в католич. Церкви прославлен в лике блаженных (пам. зап. 8 нояб.). Жизнь. Иоанн Дунс Скот. 1473… …   Православная энциклопедия

• Независимость — I Независимость         в логике, свойство предложения некоторой теории или формулы некоторого исчисления, заключающееся в том, что ни само это предложение, ни его отрицание не выводятся из данной системы предложений (например, какой либо системы …   Большая советская энциклопедия

• АЛЕКСАНДРИЙСКАЯ ПРАВОСЛАВНАЯ ЦЕРКОВЬ (АЛЕКСАНДРИЙСКИЙ ПАТРИАРХАТ) — От основания до сер. VII в. Александрия Судьбы Александрийского Патриархата, особенно на раннем этапе его становления, в значительной степени определялись спецификой исторического развития столицы эллинистического и рим. Египта Александрии. Этот… …   Православная энциклопедия

• КВАНТОВАЯ МЕХАНИКА — (волновая механика), теория, устанавливающая способ описания и законы движения микрочастиц (элем. ч ц, атомов, молекул, ат. ядер) и их систем (напр., кристаллов), а также связь величин, характеризующих ч цы и системы, с физ. величинами,… …   Физическая энциклопедия

• Теорема Гёделя о неполноте — У этого термина существуют и другие значения, см. Теорема Гёделя. Теорема Гёделя о неполноте и вторая теорема Гёделя[ 1]  две теоремы математической логики о принципиальных ограничениях формальной арифметики и, как следствие, всякой… …   Википедия

• Чёрная дыра — У этого термина существуют и другие значения, см. Чёрная дыра (значения). Изображение, полученное с помощью телескопа «Хаббл»: Активная галактика M87. В ядре галактики, предположительно, находится чёрная дыра. На сни …   Википедия

• Аксиоматический метод —         способ построения научной теории, при котором в её основу кладутся некоторые исходные положения (суждения) аксиомы (См. Аксиома), или Постулаты, из которых все остальные утверждения этой науки (теоремы (См. Теорема)) должны выводиться… …   Большая советская энциклопедия

• ИОАНН ФИЛОПОН — [Грамматик; греч. ᾿Ιωάννης ὁ Θιλόπονος, ᾿Ιωάννης ὁ γραμματικός] (ок. 490, Александрия (?) ок. 575), александрийский ученый, философ, богослов монофизит. Жизнь Сохранившиеся в истории сведения об И. Ф. отрывочны и противоречивы. Помимо… …   Православная энциклопедия

• Extremely Reliable Operating System — (EROS)  операционная система на основе мандатов, призванная выполнять требования защиты и надёжности активных систем. Пользователи активных систем могут в любое время вводить и исполнять произвольный код, в том числе ошибочный или даже… …   Википедия

• Альтернативные теории гравитации — Альтернативными теориями гравитации принято называть теории гравитации, существующие как альтернативы общей теории относительности (ОТО) или существенно (количественно или принципиально) модифицирующие ее. К альтернативным теориям гравитации… …   Википедия

• МОНД — Альтернативными теориями гравитации принято называть теории гравитации, существующие как альтернативы общей теории относительности или существенно (количественно или принципиально) модифицирующие ее. К альтернативным теориям гравитации часто… …   Википедия